Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Causal-consistent reversible debugging is an innovative technique for concurrent systems. It allows one to go back in the execution focusing on actions that most likely caused a visible misbehavior. When such action selected, debugger undoes it, including all and only its consequences. This operation called causal-consistent rollback. In this way, user can avoid being distracted by of other, unrelated processes. work, we introduce dual notion: replay. We allow record running program and, contrast traditional replay debuggers, reproduce misbehavior inside causes. Furthermore, present unified framework combines both Although ideas are rather general, focus popular functional programming language based message passing: Erlang.